翻訳と辞書 Words near each other ・ Export restriction ・ Export subsidy ・ Export variants of Soviet military equipment ・ Export Wheat Commission ・ Export Yellow Pages ・ Export, Pennsylvania ・ Export, West Virginia ・ Export-Import Bank of Korea ・ Export-Import Bank of Romania ・ Export-Import Bank of the Republic of China ・ Export-Import Bank of the United States ・ Export-Import Bank Reauthorization Act of 2012 ・ Export-oriented employment ・ Export-oriented industrialization ・ Exportadora de Sal, S.A., of C.V. ・ Exportation (logic) ・ Exportation of Arms Act 1900 ・ Exportation of Corn Act 1360 ・ Exportbank Plaza ・ Exporter (computing) ・ Exporter Assistance Initiative ・ Exporting Raymond ・ Exposcit debitum ・ EXPOSE ・ Expose ・ Expose (song) ・ Expose This ・ Expose Yourself to Art ・ Exposed (1947 film) ・ Exposed (1983 film) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Exportation (logic) ： ウィキペディア英語版 Exportation (logic) Exportation〔Moore and Parker〕〔http://www.philosophypages.com/lg/e11b.htm〕 is a valid rule of replacement in propositional logic. The rule allows conditional statements having conjunctive antecedents to be replaced by statements having conditional consequents and vice versa in logical proofs. It is the rule that: $((P\; \backslash and\; Q)\; \backslash to\; R)\; \backslash Leftrightarrow\; (P\; \backslash to\; (Q\; \backslash to\; R))$ Where "$\backslash Leftrightarrow$" is a metalogical symbol representing "can be replaced in a proof with." == Formal notation == The ''exportation'' rule may be written in sequent notation: :$((P\; \backslash and\; Q)\; \backslash to\; R)\; \backslash dashv\backslash vdash\; (P\; \backslash to\; (Q\; \backslash to\; R))$ where $\backslash dashv\backslash vdash$ is a metalogical symbol meaning that $(P\; \backslash to\; (Q\; \backslash to\; R))$ is a syntactic equivalent of $((P\; \backslash and\; Q)\; \backslash to\; R)$ in some logical system; or in rule form: :$\backslash frac$, $\backslash frac.$ where the rule is that wherever an instance of "$(P\; \backslash and\; Q)\; \backslash to\; R$" appears on a line of a proof, it can be replaced with "$P\; \backslash to\; (Q\; \backslash to\; R)$" and vice versa; or as the statement of a truth-functional tautology or theorem of propositional logic: :$((P\; \backslash and\; Q)\; \backslash to\; R))\; \backslash leftrightarrow\; (P\; \backslash to\; (Q\; \backslash to\; R)))$ where $P$, $Q$, and $R$ are propositions expressed in some logical system. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Exportation (logic)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.